Советский философский словарь - конструктивное направление
Связанные словари
Конструктивное направление
конструктивное направление
в математике и логике, подход в основаниях этих наук, при к-ром их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в к-рых не присутствует идея актуальной бесконечности. Конструктивными наз. объекты, являющиеся либо элементарными знаковыми образованиями (т. е. не построенными из др. знаков), относительно к-рых предполагается, что они однозначно опознаваемы различаемы и отождествляемы, как, напр., буквы нек-рого алфавита (см. Абстракция отождествления), либо сложными (но обязательно конечными) знаковыми конструкциями, возникающими в результате к.-л. конструктивного процесса. Последний представляет собой основанный в конечном счёте на оперировании с элементарными конструктивными объектами и протекающий по чётким правилам дискретный (по шагам) процесс построения новых конструктивных объектов [примерами объектов, возникающих в конструктивных процессах, являются слова (формулы) в к.-л. алфавите, конечные таблицы и графы, деревья логич. выводов]. Конструктивные процессы задаются либо исчислениями как системами порождающих правил, либо алгоритмами. К. н. в применении к таким процессам допускает абстракцию потенциальной осуществимости (позволяющую, напр., рассуждать о формулах с любым конечным числом знаков, о сколь угодно сложных формальных логич. выводах), но не абстракцию актуальной бесконечности. Это приводит к финитной установке (см. Финитизм), состоящей в отказе от рассмотрения «завершённых» бесконечностей типа множеств всех натуральных, всех действит. чисел, всех формул к.-л. логич. исчисления. В логич. плане подобная установка влечёт отказ от применения исключённого третьего принципа к бесконечным совокупностям объектов, а также отказ от правила снятия двойного отрицания (позволяющего умозаключать от опровержения допущения о несуществовании нек-рого объекта к утверждению о его существовании). Эти черты К. н. определяют его отличие от подходов классич. (теоретико-множественной) математики и классич. логики, сближая его с математикой и логикой, реализуемой в системах «искусств. интеллекта». Конструктивные процессы и соответств. им конструктивистские тенденции неотделимы от истории математики и дедуктивной логики, однако как самостоят. подход К. н. начинает складываться в первые десятилетия 20 в. в связи с концепцией формализма Гильберта и появлением интуиционизма (с к-рым его сближает ряд общих черт). Чёткий вид К. н. приобрело после возникновения совр. теории эффективной вычислимости (теории алгоритмов) в 30-х гг. Начиная с 40-х гг. в СССР сложилась оригинальная форма К. и., созданная А. А. Марковым и развитая его учениками (Н. А. Шанин и др.). См. также Конструктивная логика.
Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 678 | |
18 | 654 | |
19 | 649 | |
20 | 630 |